\documentclass{article}
\begin{document}
\begin{enumerate}
\item Motivation (3 pages)
\item What is pi calculus? (5 pages)
\item Why STM? (5 pages)
\item Use cases (15 pages)
\item Type Safety (8 pages)
\newpage
\section{Motivation}
pi calculus is a process calculus dealing with communicating concurrent processes. This is one of the first formal ways of representing concurrent processes. Pi calculus describd by Milner, Parrow and Walker generalizes the port-based communication of CCS by allowing channels to be passed as data along other channels. The complete world wide network can be modelled in pi calculus and can be studied. Also it is used to model biochemical processes involving protien networks.
\newline
\section{What is pi calculus?}
pi calculus is a process calculus designed and developed by Robin Milner for modelling interaction of concurrent processes. pi calculus essentially models
\end{enumerate}
\end{document}
